Radu Calinescu: tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (9)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Calinescu, Radu (editor) & Păsăreanu, Corina S. (editor)

Godina:

2021

Jezik:

english

Fajl:

PDF, 22.13 MB

0 / 5.0

english, 2021

2

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)

Godina:

2015

Jezik:

english

Fajl:

PDF, 21.04 MB

0 / 0

english, 2015

3

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 8.59 MB

0 / 0

english, 2012

4

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 3.76 MB

0 / 0

english, 2011

5

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 4.54 MB

0 / 4.0

english, 2011

6

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Springer International Publishing

Radu Calinescu, Felicita Di Giandomenico

Godina:

2019

Jezik:

english

Fajl:

PDF, 8.86 MB

0 / 0

english, 2019

7

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Springer International Publishing

Radu Calinescu, Bernhard Rumpe (eds.)

Godina:

2015

Jezik:

english

Fajl:

PDF, 16.81 MB

0 / 0

english, 2015

8

Autonomic Computing and Networking

Autonomic Computing and Networking

Radu Calinescu (auth.), Yan Zhang, Laurence Tianruo Yang, Mieso K. Denko (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 11.55 MB

0 / 0

english, 2009

9

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 3.87 MB

0 / 0

english, 2011